#ifndef NORMALIZATION_PRINT_UTILS_H_
#define NORMALIZATION_PRINT_UTILS_H_

// utility functions for printing concepts, axioms and statistics

void print_normalized_exists(NormalizedExists* ex);
void print_normalized_concept(NormalizedConcept* c);
void print_normalized_subclass_axiom(NormalizedSubClassAxiom* subclass_ax);
void print_normalized_subrole_axiom(NormalizedSubRoleAxiom* subrole_ax);
void print_normalized_axiom(NormalizedAxiom* axioms);
void print_normalized_tbox();
void print_normalization_stats();

#endif
